Ihre Suche nach "Proof Assistants" ergab 5 Treffer
Intelligent Computer Mathematics
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
Logics and Type Systems in Theory and Practice
lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.